Optimal. Leaf size=151 \[ -\frac {\sqrt {1-2 x} \sqrt {3+5 x}}{28 (2+3 x)^4}+\frac {\sqrt {1-2 x} \sqrt {3+5 x}}{56 (2+3 x)^3}+\frac {305 \sqrt {1-2 x} \sqrt {3+5 x}}{1568 (2+3 x)^2}+\frac {32735 \sqrt {1-2 x} \sqrt {3+5 x}}{21952 (2+3 x)}-\frac {375265 \tan ^{-1}\left (\frac {\sqrt {1-2 x}}{\sqrt {7} \sqrt {3+5 x}}\right )}{21952 \sqrt {7}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.03, antiderivative size = 151, normalized size of antiderivative = 1.00, number of steps
used = 7, number of rules used = 5, integrand size = 26, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.192, Rules used = {101, 156, 12,
95, 210} \begin {gather*} -\frac {375265 \text {ArcTan}\left (\frac {\sqrt {1-2 x}}{\sqrt {7} \sqrt {5 x+3}}\right )}{21952 \sqrt {7}}+\frac {32735 \sqrt {1-2 x} \sqrt {5 x+3}}{21952 (3 x+2)}+\frac {305 \sqrt {1-2 x} \sqrt {5 x+3}}{1568 (3 x+2)^2}+\frac {\sqrt {1-2 x} \sqrt {5 x+3}}{56 (3 x+2)^3}-\frac {\sqrt {1-2 x} \sqrt {5 x+3}}{28 (3 x+2)^4} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 95
Rule 101
Rule 156
Rule 210
Rubi steps
\begin {align*} \int \frac {\sqrt {3+5 x}}{\sqrt {1-2 x} (2+3 x)^5} \, dx &=-\frac {\sqrt {1-2 x} \sqrt {3+5 x}}{28 (2+3 x)^4}+\frac {1}{28} \int \frac {\frac {47}{2}+30 x}{\sqrt {1-2 x} (2+3 x)^4 \sqrt {3+5 x}} \, dx\\ &=-\frac {\sqrt {1-2 x} \sqrt {3+5 x}}{28 (2+3 x)^4}+\frac {\sqrt {1-2 x} \sqrt {3+5 x}}{56 (2+3 x)^3}+\frac {1}{588} \int \frac {\frac {1575}{4}-210 x}{\sqrt {1-2 x} (2+3 x)^3 \sqrt {3+5 x}} \, dx\\ &=-\frac {\sqrt {1-2 x} \sqrt {3+5 x}}{28 (2+3 x)^4}+\frac {\sqrt {1-2 x} \sqrt {3+5 x}}{56 (2+3 x)^3}+\frac {305 \sqrt {1-2 x} \sqrt {3+5 x}}{1568 (2+3 x)^2}+\frac {\int \frac {\frac {143745}{8}-\frac {32025 x}{2}}{\sqrt {1-2 x} (2+3 x)^2 \sqrt {3+5 x}} \, dx}{8232}\\ &=-\frac {\sqrt {1-2 x} \sqrt {3+5 x}}{28 (2+3 x)^4}+\frac {\sqrt {1-2 x} \sqrt {3+5 x}}{56 (2+3 x)^3}+\frac {305 \sqrt {1-2 x} \sqrt {3+5 x}}{1568 (2+3 x)^2}+\frac {32735 \sqrt {1-2 x} \sqrt {3+5 x}}{21952 (2+3 x)}+\frac {\int \frac {7880565}{16 \sqrt {1-2 x} (2+3 x) \sqrt {3+5 x}} \, dx}{57624}\\ &=-\frac {\sqrt {1-2 x} \sqrt {3+5 x}}{28 (2+3 x)^4}+\frac {\sqrt {1-2 x} \sqrt {3+5 x}}{56 (2+3 x)^3}+\frac {305 \sqrt {1-2 x} \sqrt {3+5 x}}{1568 (2+3 x)^2}+\frac {32735 \sqrt {1-2 x} \sqrt {3+5 x}}{21952 (2+3 x)}+\frac {375265 \int \frac {1}{\sqrt {1-2 x} (2+3 x) \sqrt {3+5 x}} \, dx}{43904}\\ &=-\frac {\sqrt {1-2 x} \sqrt {3+5 x}}{28 (2+3 x)^4}+\frac {\sqrt {1-2 x} \sqrt {3+5 x}}{56 (2+3 x)^3}+\frac {305 \sqrt {1-2 x} \sqrt {3+5 x}}{1568 (2+3 x)^2}+\frac {32735 \sqrt {1-2 x} \sqrt {3+5 x}}{21952 (2+3 x)}+\frac {375265 \text {Subst}\left (\int \frac {1}{-7-x^2} \, dx,x,\frac {\sqrt {1-2 x}}{\sqrt {3+5 x}}\right )}{21952}\\ &=-\frac {\sqrt {1-2 x} \sqrt {3+5 x}}{28 (2+3 x)^4}+\frac {\sqrt {1-2 x} \sqrt {3+5 x}}{56 (2+3 x)^3}+\frac {305 \sqrt {1-2 x} \sqrt {3+5 x}}{1568 (2+3 x)^2}+\frac {32735 \sqrt {1-2 x} \sqrt {3+5 x}}{21952 (2+3 x)}-\frac {375265 \tan ^{-1}\left (\frac {\sqrt {1-2 x}}{\sqrt {7} \sqrt {3+5 x}}\right )}{21952 \sqrt {7}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 2.41, size = 147, normalized size = 0.97 \begin {gather*} \frac {5 \left (\frac {7 \sqrt {1-2 x} \sqrt {3+5 x} \left (278960+1230876 x+1806120 x^2+883845 x^3\right )}{5 (2+3 x)^4}+75053 \sqrt {7} \tan ^{-1}\left (\frac {\sqrt {2 \left (34+\sqrt {1155}\right )} \sqrt {3+5 x}}{-\sqrt {11}+\sqrt {5-10 x}}\right )+75053 \sqrt {7} \tan ^{-1}\left (\frac {\sqrt {6+10 x}}{\sqrt {34+\sqrt {1155}} \left (-\sqrt {11}+\sqrt {5-10 x}\right )}\right )\right )}{153664} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(249\) vs.
\(2(118)=236\).
time = 0.08, size = 250, normalized size = 1.66
method | result | size |
risch | \(-\frac {\sqrt {3+5 x}\, \left (-1+2 x \right ) \left (883845 x^{3}+1806120 x^{2}+1230876 x +278960\right ) \sqrt {\left (1-2 x \right ) \left (3+5 x \right )}}{21952 \left (2+3 x \right )^{4} \sqrt {-\left (3+5 x \right ) \left (-1+2 x \right )}\, \sqrt {1-2 x}}+\frac {375265 \sqrt {7}\, \arctan \left (\frac {9 \left (\frac {20}{3}+\frac {37 x}{3}\right ) \sqrt {7}}{14 \sqrt {-90 \left (\frac {2}{3}+x \right )^{2}+67+111 x}}\right ) \sqrt {\left (1-2 x \right ) \left (3+5 x \right )}}{307328 \sqrt {1-2 x}\, \sqrt {3+5 x}}\) | \(129\) |
default | \(\frac {\sqrt {3+5 x}\, \sqrt {1-2 x}\, \left (30396465 \sqrt {7}\, \arctan \left (\frac {\left (37 x +20\right ) \sqrt {7}}{14 \sqrt {-10 x^{2}-x +3}}\right ) x^{4}+81057240 \sqrt {7}\, \arctan \left (\frac {\left (37 x +20\right ) \sqrt {7}}{14 \sqrt {-10 x^{2}-x +3}}\right ) x^{3}+81057240 \sqrt {7}\, \arctan \left (\frac {\left (37 x +20\right ) \sqrt {7}}{14 \sqrt {-10 x^{2}-x +3}}\right ) x^{2}+12373830 x^{3} \sqrt {-10 x^{2}-x +3}+36025440 \sqrt {7}\, \arctan \left (\frac {\left (37 x +20\right ) \sqrt {7}}{14 \sqrt {-10 x^{2}-x +3}}\right ) x +25285680 x^{2} \sqrt {-10 x^{2}-x +3}+6004240 \sqrt {7}\, \arctan \left (\frac {\left (37 x +20\right ) \sqrt {7}}{14 \sqrt {-10 x^{2}-x +3}}\right )+17232264 x \sqrt {-10 x^{2}-x +3}+3905440 \sqrt {-10 x^{2}-x +3}\right )}{307328 \sqrt {-10 x^{2}-x +3}\, \left (2+3 x \right )^{4}}\) | \(250\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.52, size = 143, normalized size = 0.95 \begin {gather*} \frac {375265}{307328} \, \sqrt {7} \arcsin \left (\frac {37 \, x}{11 \, {\left | 3 \, x + 2 \right |}} + \frac {20}{11 \, {\left | 3 \, x + 2 \right |}}\right ) - \frac {\sqrt {-10 \, x^{2} - x + 3}}{28 \, {\left (81 \, x^{4} + 216 \, x^{3} + 216 \, x^{2} + 96 \, x + 16\right )}} + \frac {\sqrt {-10 \, x^{2} - x + 3}}{56 \, {\left (27 \, x^{3} + 54 \, x^{2} + 36 \, x + 8\right )}} + \frac {305 \, \sqrt {-10 \, x^{2} - x + 3}}{1568 \, {\left (9 \, x^{2} + 12 \, x + 4\right )}} + \frac {32735 \, \sqrt {-10 \, x^{2} - x + 3}}{21952 \, {\left (3 \, x + 2\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.44, size = 116, normalized size = 0.77 \begin {gather*} -\frac {375265 \, \sqrt {7} {\left (81 \, x^{4} + 216 \, x^{3} + 216 \, x^{2} + 96 \, x + 16\right )} \arctan \left (\frac {\sqrt {7} {\left (37 \, x + 20\right )} \sqrt {5 \, x + 3} \sqrt {-2 \, x + 1}}{14 \, {\left (10 \, x^{2} + x - 3\right )}}\right ) - 14 \, {\left (883845 \, x^{3} + 1806120 \, x^{2} + 1230876 \, x + 278960\right )} \sqrt {5 \, x + 3} \sqrt {-2 \, x + 1}}{307328 \, {\left (81 \, x^{4} + 216 \, x^{3} + 216 \, x^{2} + 96 \, x + 16\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 368 vs.
\(2 (118) = 236\).
time = 1.61, size = 368, normalized size = 2.44 \begin {gather*} \frac {75053}{614656} \, \sqrt {70} \sqrt {10} {\left (\pi + 2 \, \arctan \left (-\frac {\sqrt {70} \sqrt {5 \, x + 3} {\left (\frac {{\left (\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}\right )}^{2}}{5 \, x + 3} - 4\right )}}{140 \, {\left (\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}\right )}}\right )\right )} - \frac {55 \, \sqrt {10} {\left (6823 \, {\left (\frac {\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}}{\sqrt {5 \, x + 3}} - \frac {4 \, \sqrt {5 \, x + 3}}{\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}}\right )}^{7} - 7629720 \, {\left (\frac {\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}}{\sqrt {5 \, x + 3}} - \frac {4 \, \sqrt {5 \, x + 3}}{\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}}\right )}^{5} - 1915892160 \, {\left (\frac {\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}}{\sqrt {5 \, x + 3}} - \frac {4 \, \sqrt {5 \, x + 3}}{\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}}\right )}^{3} - \frac {149136243200 \, {\left (\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}\right )}}{\sqrt {5 \, x + 3}} + \frac {596544972800 \, \sqrt {5 \, x + 3}}{\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}}\right )}}{10976 \, {\left ({\left (\frac {\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}}{\sqrt {5 \, x + 3}} - \frac {4 \, \sqrt {5 \, x + 3}}{\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}}\right )}^{2} + 280\right )}^{4}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 18.54, size = 1509, normalized size = 9.99 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________